@InProceedings{RodriguesAmbrCerq:2016:ToAuHy,
               author = "Rodrigues, Italo Pinto and Ambrosio, Ana Maria and Cerqueira, 
                         Christopher Schneider",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
                title = "Towards an automated hybrid test and simulation framework to 
                         functional verification of nanosatellites' electrical power supply 
                         subsystem",
                 year = "2016",
         organization = "Latin American IAA CubeSat Workshop, 2.",
             abstract = "Tests in the space systems development life cycles are necessary 
                         to early verify requirements fulfillment, ensuring that the 
                         systems developed are correct. Nowadays, the efforts to develop 
                         miniaturized satellites and their test suite is increasing. 
                         Additionally, it is growing the initiatives is adopting MBSE 
                         (Model Based System Engineering) to automate the processes of: 
                         model design, simulation and model transformation. In MBSE 
                         development approach, models are the focus of the activities. The 
                         models describe requirements, functionalities and interfaces of a 
                         system, and their subsystems, considered here as input models. In 
                         the context of an Electrical Power Subsystem (EPS), the design 
                         engineers have to (i) generate models representing solar array, 
                         battery, voltage regulators, loads, etc., for implementation 
                         solutions, and (ii) provide a verification plan, derived from 
                         requirements, to ensure the correctness of the developed 
                         functionality. In this scenario, the following question raises: 
                         how to interconnect the input models with verification plans, 
                         developed solutions and test executions? This paper aims to 
                         describe the structure of an automated verification framework to 
                         nanosatellites EPS, using COTS (commercial-of-the-shelf) tools, 
                         such as MATLAB/Simulink, MS. Excel, and Arduino. We propose the 
                         models are as granular as in the verification plans (it is not 
                         possible to test internal behaviors from a black box artifact), 
                         so, each model represent an element in a unique file and a 
                         sequencer will integrate them, as a DSM (Design Structure Matrix) 
                         in Excel. In the context of the proposed framework, the subsystem 
                         verification enables three test configurations: fully simulated, 
                         fully simulated considering physical interface model, and 
                         hardware-in-the-loop (HIL). One advantage of the proposed 
                         framework is to reuse models from the start of the mission 
                         development, providing the reuse of these models throughout the 
                         life cycle, minimizing costs. The paper shows also results of 
                         development of the framework using an EPS behavioral model.",
  conference-location = "Florian{\'o}polis, SC",
      conference-year = "28 Feb. - 02 Mar.",
           targetfile = "rodrigues.pdf",
        urlaccessdate = "27 abr. 2024"
}